]> dgit.raspbian.org Git - gnome-shell.git/commit
keyboard: Update extended key size on parent size changes
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 4 Dec 2019 18:49:17 +0000 (19:49 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 4 Dec 2019 19:48:37 +0000 (20:48 +0100)
commit021f3e49b5e9d5470a4e4dd0c5a1ab65930fa12e
tree8629a0a21cc2ae4a73728cc14302dfe8c9c081d8
parent91bf7f1e449386ee5b36c53910fdeb332ce052fb
keyboard: Update extended key size on parent size changes

Extended keys should have the same size as their parent key, so
make sure to update them when the parent size changes.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1976
js/ui/keyboard.js